EXTRA_DIST=\
	protocol.txt \
	scripting.txt

